The UniForM Workbench, a Universal Development Environment for Formal Methods
نویسندگان
چکیده
The UniForM Workbench supports combination of Formal Methods (on a solid logical foundation), provides tools for the development of hybrid, real-time or reactive systems, transformation, verification, validation and testing. Moreover, it comprises a universal framework for the integration of methods and tools in a common development environment. Several industrial case studies are described.
منابع مشابه
Integration in the UniForM - Workbench ?
The UniForM-Workbench is an open tool integration environment providing type safe communication, a toolkit for graphical user interfaces, version management and connguration management. It is speciically geared towards formal methods and based on the encoding of formal methods into the theorem prover Isabelle. The UniForM-Workbench thus tackles both the technical and the semantical problems ari...
متن کاملHOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z
The UniForM-Workbench is an open tool-integration environment providing type-safe communication, a toolkit for graphical user-interfaces, version management and configuration management. We demonstrate how to integrate several tools for the Z specification language into the workbench, obtaining an instantiation of the workbench suited as a software development environment for Z. In the core of ...
متن کاملHOL - Z in the UniForM - Workbench - a Case Study in Tool Integration for Z
The UniForM-Workbench is an open tool-integration environment providing type-safe communication, a toolkit for graphical user-interfaces, version management and connguration management. We demonstrate how to integrate several tools for the Z speciication language into the workbench, obtaining an instantiation of the workbench suited as a software development environment for Z. In the core of th...
متن کاملThe UniForM WorkBench - A Higher Order Tool Integration Framework
The UniForM Workbench is an open ended tool integration framework for developing (formal) Software Development Environments (SDE) from the basis of prefabricated oo-the-shelf development tools. The integration framework provides support for data, control and presentation integration as well as utilities for wrapping Haskell interfaces around existing development tools. Entire SDE's are then glu...
متن کاملUniForM Perspectives for Formal Methods
Trends for Formal Methods are reviewed and illustrated by several industrial applications: logical foundations of combination, verification, transformation, testing, and tool support. The UniForM Workbench is the background for highlighting experiences made over the past 20 years.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999